1. A computer and communications network performance analysis primer
المؤلف: Stuck, B. W.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Evaluation ، Electronic digital computers,Evaluation ، Computer networks
رده :
QA
76
.
9
.
E94
S78
1985
2. ACM SIGMETRICS 2002 : International Conference on Measurement and Modeling of Computer Systems : June 15-19, 2002, Marina Del Rey, California : proceedings
المؤلف: Sponsored by ACM SIGMETRICS
المکتبة: (طهران)
موضوع: Evaluation ، Electronic digital computers,Congresses ، Digital computer simulation
رده :
QA
76
.
5
.
I52
2002
3. ACM SIGMETRICS 2003: international conference on measurement and modeling of computer systems, June 10-14, 2003, San Diego, California, USA : proceedings
المؤلف: sponsored by ACM SIGMETRICS
المکتبة: (طهران)
موضوع: Evaluation -- Congresses ، Computer networks,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
5
.
I52
2003
4. Analysis and synthesis of computer systems
المؤلف: / E. Gelenbe and I. Mitrani
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Electronic digital computers - Evaluation,Queuing theory
رده :
QA
76
.
9
.
E94
5. Benchmarking : computer evaluation and measurement
پدیدآورنده :
موضوع : ، Electronic digital Computers-- Evaluation-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Capacity planning and performance modeling :
المؤلف: Daniel A. Menascé, Virgilio A.F. Almeida, Larry W. Dowdy.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer capacity-- Planning.,Electronic digital computers-- Evaluation.
7. Computer-aided verification
المؤلف:
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computer software-Verification,Electronic digital computers - Evaluation
رده :
QA
76
.
76
.
E93C65
1992
8. Computer-aided verification
المؤلف: edited by Robert Kurshan
المکتبة: (طهران)
موضوع: Computer software - Verification , Electronic digital computers - Evaluation
رده :
QA
76
.
76
.
E93
C65
1993
9. Computer aided verification
المؤلف: / Pierre Wolper (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses
رده :
QA76
.
76
.
C47
,
C38
1995
10. Computer aided verification
المؤلف: / Rajeev Alur, Doron A. Peled (eds.)
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computer software -- Evaluation -- Congresses,Electronic digital computers -- Evaluation -- Congresses
رده :
QA
76
.
76
.
E93C38
11. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
المؤلف: G.V. Bochmann, D.K. Probst )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
663
12. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
رده :
QA
76
.
76
.
E93
.
C38
1993
13. Computer aided verification : 3rd international workshop, CAV'91, Alborg, Denmark, 1991 :proceedings
المؤلف: K.G. Larsen, A. Skou, eds
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
575
14. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
المؤلف: E. Allen Emerson, A. Prasad Sistla )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1855
15. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
المؤلف: Ed Brinksma, Kim Guldstrand Larsen )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2404
16. Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings
المؤلف: Costas Courcoubetis )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
697
17. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
المؤلف: Orna Grumberg )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1254
18. Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings
المؤلف: David L. Dill, ed
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
818
19. Computer-aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999
المؤلف: Nicolas Halbwaches, Doron Peled )Eds.(
المکتبة: (طهران)
موضوع: Evaluation -- Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1633
20. Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
المؤلف: Alan J. Hu, Moshe Y. Vardi )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1427
